Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing

Efficient multi-agent epistemic planning: Teaching planners about nested belief

C Muise, V Belle, P Felli, S McIlraith, T Miller, AR Pearce, L Sonenberg

2022-01-01

Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own belie..

Action Selection for Transparent Planning

Aleck M MacNally, Nir Lipovetzky, Miquel Ramirez, Adrian R Pearce

2018-01-01

We introduce a novel framework to formalize and solve transparent planning tasks by executing actions selected in a suitable and t..

Social Planning for Trusted Autonomy

Tim Miller, Adrian R Pearce, Liz Sonenberg

2018-01-01

In this chapter, we describe social planning mechanisms for constructing and representing explainable plans in human-agent interac..

Logics of common ground

T Miller, J Pfau, L Sonenberg, Y Kashima

2017-04-01

According to Clark's seminal work on common ground and grounding, participants collaborating in a joint activity rely on their sha..

'Knowing Whether' in Proper Epistemic Knowledge Bases

T Miller, P Felli, C Muise, AR Pearce, L Sonenberg

2016-01-01

Proper epistemic knowledge bases (PEKBs) are syntactic knowledge bases that use multi-agent epistemic logic to represent nested mu..

Planning for a Single Agent in a Multi-Agent Environment Using FOND

C Muise, P Felli, T Miller, AR Pearce, L Sonenberg

2016-01-01

Single-agent planning in a multi-agent environment is challenging because the actions of other agents can affect our ability to ac..

Asynchronous knowledge with hidden actions in the situation calculus

RF Kelly, AR Pearce

2015-01-01

We present a powerful new account of multi-agent knowledge in the situation calculus and an automated reasoning procedure for know..

Computing Social Behaviours Using Agent Models

Paolo Felli, Tim Miller, Christian Muise, Adrian R Pearce, Liz Sonenberg

2015-01-01

Agents can be thought of as following a social behaviour, depending on the context in which they are interacting. We devise a comp..

MAP-LAPKT: Omnipotent Multi-Agent Planning via Compilation to Classical Planning

C Muise, N LIPOVETZKY, M Ramirez

2015-01-01

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

Christian Muise, Vaishak Belle, Paolo Felli, Sheila A McIlraith, Tim Miller, Adrian R Pearce, Liz Sonenberg

2015-01-01

Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own belie..

Proper Epistemic Knowledge Bases Efficient Reasoning with Consistent

Christian Muise, Tim Miller, Paolo Felli, Adrian R Pearce, Liz Sonenberg

2015-01-01

Towards Team Formation via Automated Planning

Christian Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R Pearce, Liz Sonenberg

2015-01-01

Cooperative problem solving involves four key phases: (1) finding potential members to form a team, (2) forming the team, (3) form..

Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others

P Felli, T miller, Christian Muise, A PEARCE, L sonenberg

2014-01-01

With a view to supporting expressive, but tractable, collaborative interactions between humans and agents, we propose an approach ..

Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing

T MILLER, A Pearce, L Sonenberg, F Dignum, P Felli, C Muise

2014-01-01